
var casecommon = require('./casecommon.js');
var casedata = require('./casedata.js');

casecommon.init();

var casei = require('./cases/case_'+casecommon.getCaseName()+'.js');
var caset = require('./casetree.js').create();
var cased = require('./casedata.js');

casei.initNodes(caset);
casei.initTree(caset);

casei.initCase();
casei.run();
casei.finiCase();
